Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
521	Two Problems That Shaped a Century of Lattice Theory George Grätzer A Add to Reading List Source URL: www.ams.org Language: English - Date: 2008-01-24 14:43:28 Algebra Algebraic structures Order theory Congruence lattice problem Lattice Distributive lattice Boolean algebra Complemented lattice Compact element Abstract algebra Lattice theory Mathematics
522	Logic and Lattices for Distributed Programming Neil Conway William Marczak Peter Alvaro Joseph M. Hellerstein Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2012-06-22 16:27:05 Lattice theory Algebra Order theory Lattice Semilattice Class Boolean algebra Monotonic function Complete Heyting algebra Abstract algebra Mathematics Algebraic structures
523	Information Processing ELSEVIER Letters Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 10:39:22 Propositional calculus Rules of inference Automated theorem proving Boolean algebra Equational logic First-order logic Mathematical proof Modal logic Modus ponens Logic Mathematical logic Mathematics
524	UNIVERSAL ALGEBRA Jaroslav Jeˇzek First edition, April 2008 Contents Add to Reading List Source URL: www.karlin.mff.cuni.cz Language: English - Date: 2011-06-16 11:15:48 Algebraic structures Lattice theory Boolean algebra Predicate logic Abstract algebra Universal algebra Distributive lattice Model theory Representation theory Mathematics Mathematical logic Logic
525	The Complexity of Unique -SAT: An Isolation Lemma for -CNFs Chris Calabro Russell Impagliazzo Valentine Kabanets Ramamohan Paturi Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2007-10-29 20:04:40 NP-complete problems Boolean algebra Boolean satisfiability problem Electronic design automation Logic in computer science Conjunctive normal form Local search PP NP-complete Theoretical computer science Computational complexity theory Applied mathematics
526	"Lessons In Electric Circuits, Volume IV -- Digital" Add to Reading List Source URL: www.allaboutcircuits.com Language: English - Date: 2014-02-02 23:56:23 Mathematical logic Electronic design automation Boolean algebra Binary arithmetic Electronic design Digital electronics Logic gate Binary numeral system Canonical form Electronic engineering Mathematics Algebraic logic
527	A SURVEY OF RANKING THEORY Wolfgang Spohn Fachbereich Philosophie Universität Konstanz[removed]Konstanz Germany Add to Reading List Source URL: www.uni-konstanz.de Language: English - Date: 2015-01-27 09:49:38 Probability theory Boolean algebra Function Complete Boolean algebra Dempster–Shafer theory Model theory Moment Exponentiation Cardinal number Mathematics Mathematical logic Large cardinals
528	Solomonoff Induction Shane Legg May 16, 2004 1 Add to Reading List Source URL: roland.pri.ee Language: English - Date: 2007-09-16 01:27:18 Mathematical analysis Boolean algebra Sigma-algebra Probability space Kolmogorov complexity Measure Itō diffusion Support Probability theory Mathematics Measure theory
529	The Geometry of Negation Achille C. Varzi Department of Philosophy, Columbia University, New York, New York (USA) Massimo Warglien Department of Business Economics, Università Ca’ Foscari, Venice (Italy) Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2003-04-04 09:59:15 Semantics Boolean algebra Propositional calculus Logical connectives Mathematical constructivism Negation Many-valued logic Truth table Intuitionistic logic Logic Mathematics Mathematical logic
530	Beth Too, But Only If Achille C. Varzi Department of Philosophy, Columbia University, New York [Final version published in Analysis 65:[removed]), 224–229] Instructions. Today’s test will be on the conditional connect Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2005-07-31 12:17:26 Boolean algebra Philosophical logic Semantics Logical connectives Interpretation Modal logic If and only if Truth Material conditional Logic Propositional calculus Mathematical logic

UPDATE